大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Mathematical Software Symposium 的图书(共4258本)

Technological Convergence and Social Networks in Information Management [electronic resource] : Second International Symposium on Information Management in a Changing World, IMCW 2010, Ankara, Turkey, September 22-24, 2010. Proceedings

0
索取号：
作者：Kurbano臒lu、 Serap.、Al、 Umut.、Lepon Erdo臒an、 Phyllis.、Tonta、 Ya艧ar.、U莽ak、 Nazan.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Stabilization, Safety, and Security of Distributed Systems [electronic resource] : 12th International Symposium, SSS 2010, New York, NY, USA, September 20-22, 2010. Proceedings

0
索取号：
作者：Dolev、 Shlomi.、Cobb、 Jorge.、Fischer、 Michael.、Yung、 Moti.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Pattern Recognition [electronic resource] : 32nd DAGM Symposium, Darmstadt, Germany, September 22-24, 2010. Proceedings

0
索取号：
作者：Goesele、 Michael.、Roth、 Stefan.、Kuijper、 Arjan.、Schiele、 Bernt.、Schindler、 Konrad.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Mathematical Models in the Manufacturing of Glass [electronic resource] : C.I.M.E. Summer School, Montecatini Terme, Italy 2008

0
索取号：
作者：Farina、 Angiolo.、Klar、 Axel.、Mattheij、 Robert M.M.、Mikeli麓c、 Andro.、Siedow、 Norbert.、Fasano、 Antonio.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011.

Future Internet - FIS 2010 [electronic resource] : Third Future Internet Symposium, Berlin, Germany, September 20-22, 2010. Proceedings

0
索取号：
作者：Berre、 Arne J.、G贸mez-P茅rez、 Asunci贸n.、Tutschku、 Kurt.、Fensel、 Dieter.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Algorithms-ESA 2010 [electronic resource] : 18th Annual European Symposium, Liverpool, UK, September 6-8, 2010. Proceedings, Part II

0
索取号：
作者：Berg、 Mark.、Meyer、 Ulrich.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Algorithms-ESA 2010 [electronic resource] : 18th Annual European Symposium, Liverpool, UK, September 6-8, 2010. Proceedings, Part I

0
索取号：
作者：Berg、 Mark.、Meyer、 Ulrich.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Static Analysis [electronic resource] : 17th International Symposium, SAS 2010, Perpignan, France, September 14-16, 2010. Proceedings

0
索取号：
作者：Cousot、 Radhia.、Martel、 Matthieu.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Distributed Computing [electronic resource] : 24th International Symposium, DISC 2010, Cambridge, MA, USA, September 13-15, 2010. Proceedings

0
索取号：
作者：Lynch、 Nancy A.、Shvartsman、 Alexander A.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Database and XML Technologies [electronic resource] : 7th International XML Database Symposium, XSym 2010, Singapore, September 17, 2010. Proceedings

0
索取号：
作者：Lee、 Mong Li.、Yu、 Jeffrey Xu.、Bellahs猫ne、 Zohra.、Unland、 Rainer.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Systems, Software and Services Process Improvement [electronic resource] : 17th European Conference, EuroSPI 2010, Grenoble, France, September 1-3, 2010. Proceedings

0
索取号：
作者：Riel、 Andreas.、O鈥機onnor、 Rory.、Tichkiewitch、 Serge.、Messnarz、 Richard.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Automated Technology for Verification and Analysis [electronic resource] : 8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010. Proceedings

0
索取号：
作者：Bouajjani、 Ahmed.、Chin、 Wei-Ngan.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Trustworthly Global Computing [electronic resource] : 5th International Symposium, TGC 2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers

0
索取号：
作者：Wirsing、 Martin.、Hofmann、 Martin.、Rauschmayer、 Axel.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Mathematical Software-ICMS 2010 [electronic resource] : Third International Congress on Mathematical Software, Kobe, Japan, September 13-17, 2010. Proceedings

0
索取号：
作者：Fukuda、 Komei.、Hoeven、 Joris van der.、Joswig、 Michael.、Takayama、 Nobuki.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Software Product Lines: Going Beyond [electronic resource] : 14th International Conference, SPLC 2010, Jeju Island, South Korea, September 13-17, 2010. Proceedings

0
索取号：
作者：Bosch、 Jan.、Lee、 Jaejoon.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Reasoning Web. Semantic Technologies for Software Engineering [electronic resource] : 6th International Summer School 2010, Dresden, Germany, August 30 - September 3, 2010. Tutorial Lectures

0
索取号：
作者：A脽mann、 Uwe.、Bartho、 Andreas.、Wende、 Christian.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.